| 1 | Z. A. Al-Khanjari and Martin R. Woodward and Haider Ali Ramadhan and N. S. Kutti
The Efficiency of Critical Slicing in Fault Localization
Software Quality Journal, 13(2), June 2005. |
|
| | Abstract: In software testing, developing effective debugging strategies is important to guarantee the reliability of software under testing. A heuristic technique is to cause failure and therefore expose faults. Based on this approach mutation testing has been found very useful technique in detecting faults. However, it suffers from two problems with successfully testing programs: (1) requires extensive computing resources and (2) puts heavy demand on human resources. Later, empirical observations suggest that critical slicing based on Statement Deletion (Sdl) mutation operator has been found the most effective technique in reducing effort and the required computing resources in locating the program faults. The second problem of mutation testing may be solved by automating the program testing with the help of software tools. Our study focuses on determining the effectiveness of the critical slicing technique with the help of the Mothra Mutation Testing System in detecting program faults. This paper presents the results showing the performance of Mothra Mutation Testing System through conducting critical slicing testing on a selected suite of programs. |
| | @ARTICLE{KhanjariWRK05,
author = {Z. A. Al-Khanjari and Martin R. Woodward and Haider Ali Ramadhan and N. S. Kutti},
title = {The Efficiency of Critical Slicing in Fault Localization},
journal = {Software Quality Journal},
year = {2005},
month = {June},
volume = {13},
number = {2},
pages = {129-153}
} |
| 2 | David Jackson and Martin R. Woodward
Parallel firm mutation of Java programs
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JacksonW01,
author = {David Jackson and Martin R. Woodward},
title = {Parallel firm mutation of Java programs},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {55-61}
} |
| 3 | Martin R. Woodward
Mutation Testng - Its Origin and Evolution
Journal of Information and Software Technology, 35(3), March 1993. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Woodward93b,
author = {Martin R. Woodward},
title = {Mutation Testng - Its Origin and Evolution},
journal = {Journal of Information and Software Technology},
year = {1993},
month = {March},
volume = {35},
number = {3},
pages = {163–169}
} |
| 4 | Martin R. Woodward
Errors in Algebraic Specifications and an Experimental Mutation Testing Tool
Software Engineering Journal, 8(4), July 1993. |
|
| | Abstract: There is an increasing trend towards more formality in the development of specifications of software systems in order to reduce the likelihood of errors as early as possible in the development process. The algebraic approach to specification, with its equational form, leads to the added advantage of executability via the process of term rewriting. Nevertheless, erroneous algebraic specifications can still be developed. As evidence of possible errors, the algebraic specifications produced by students have been analysed and the results are presented. The paper describes OBJTEST, a prototype testing system for algebraic specifications. The two principal facets of the system are the user-guided automatic generation of sets of test expressions from a specification, and then the use of these test expressions in mutation testing of the given specification. Some preliminary experience with the system is reported |
| | @ARTICLE{Woodward93,
author = {Martin R. Woodward},
title = {Errors in Algebraic Specifications and an Experimental Mutation Testing Tool},
journal = {Software Engineering Journal},
year = {1993},
month = {July},
volume = {8},
number = {4},
pages = {221-224}
} |
| 5 | Martin R. Woodward
OBJTEST: an Experimental Testing Tool for Algebraic Specifications
Proceedings of the IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying, 14 Jan 1990. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Woodward90a,
author = {Martin R. Woodward},
title = {OBJTEST: an Experimental Testing Tool for Algebraic Specifications},
booktitle = {Proceedings of the IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying},
year = {1990},
address = {},
month = {14 Jan},
pages = {2}
} |
| 6 | Martin R. Woodward
Mutation Testing-An Evolving Technique
Proceedings of the IEE Colloquium on Software Testing for Critical SystemsLondon, UK, 19 June 1990. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Woodward90,
author = {Martin R. Woodward},
title = {Mutation Testing-An Evolving Technique},
booktitle = {Proceedings of the IEE Colloquium on Software Testing for Critical Systems},
year = {1990},
address = {London, UK},
month = {19 June},
pages = {3/1-3/6}
} |
| 7 | Martin R. Woodward and K. Halewood
From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Albert, Canada, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WoodwardH88,
author = {Martin R. Woodward and K. Halewood},
title = {From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff Albert, Canada},
month = {July},
pages = {152-158}
} |
| 8 | M. R. Girgis and Martin R. Woodward
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis
Proceedings of the 8th International Conference on Software Engineering (ICSE'85)London, England, August 1985. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GirgisW85,
author = {M. R. Girgis and Martin R. Woodward},
title = {An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis},
booktitle = {Proceedings of the 8th International Conference on Software Engineering (ICSE'85)},
year = {1985},
address = {London, England},
month = {August},
pages = {313-319}
} |
